Fixed point theorems in constructive mathematics
نویسندگان
چکیده
منابع مشابه
Fixed point theorems in constructive mathematics
This paper gives the beginnings of a development of the theory of fixed point theorems within Bishop’s constructive analysis. We begin with a constructive proof of a result, due to Borwein, which characterises when some sets have the contraction mapping property. A review of the constructive content of Brouwer’s fixed point theorem follows, before we turn our attention to Schauder’s generalisat...
متن کاملConstructive Versions of Tarskγs Fixed Point Theorems
Let F be a monotone operator on the complete lattice L into itself. Tarski's lattice theoretical fixed point theorem states that the set of fixed points of F is a nonempty complete lattice for the ordering of L. We give a constructive proof of this theorem showing that the set of fixed points of F is the image of L by a lower and an upper preclosure operator. These preclosure operators are the ...
متن کاملSome fixed point theorems and common fixed point theorem in log-convex structure
Some fixed point theorems and common fixed point theorem in Logarithmic convex structure areproved.
متن کاملApproximate fixed point theorems for Geraghty-contractions
The purpose of this paper is to obtain necessary and suffcient conditionsfor existence approximate fixed point on Geraghty-contraction. In this paper,denitions of approximate -pair fixed point for two maps Tα , Sα and theirdiameters are given in a metric space.
متن کاملFixed point theorems for $alpha$-contractive mappings
In this paper we prove existence the common fixed point with different conditions for $alpha-psi$-contractive mappings. And generalize weakly Zamfirescu map in to modified weakly Zamfirescu map.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logic and Analysis
سال: 2012
ISSN: 1759-9008
DOI: 10.4115/jla.2012.4.10